COMMENT ⊗   VALID 00006 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Contents of notebooks
C00003 00003	1985 Sept 19 - 1986 Mar 21
C00009 00004	1986 Mar 22 - 1986 Aug 14
C00014 00005	1986 Aug 14 - 1986 Dec 4
C00018 00006	1986 Dec 4 - 1987 May 6
C00021 ENDMK
C⊗;
Contents of notebooks
1985 Sept 19 - 1986 Mar 21

1 - situation calculus for concurrent events

3 - notes from studying Davenport's Higher Arithmetic

5 - Lifschitz circumscription

9 - Should the reasoner be restricted in the conclusions that it draws
or should we restrict the language by adding premisses about goals
to rules?

11 - Parametric model theory

13 - Aero-astro exam of Unver Kaynak

15 - VAL Seminar

17 - fragment on normality logic

19 - Theory of homosexuality - thru p.29 and 33

31 - limiting the cold war

37 - Can MYCIN be improved to make prognoses and do planning or must
it be rewritten?  Is EMYCIN inherently limited?

39 - Mental situation calculus

43 - Workable socialism

45 - Princeton lecture on common sense knowledge and reasoning

47 - Democratizing the right of initiative

55 - U. Michigan lecture on "The logical approach to AI"

57 - abstractions of hill-climbing

59 - visit to Thinking Machines, connection machine

61 - American Academy meeting on AI issue of Daedalus

65 - connection machine

67 - VAL seminar on STRIPS, notes on prevention and normality

71 - mcc conversation with Boyer

73 - Do it with comprehension

75 - Gert Smolka lecture at MCC

77 - notes for hosting SDI debate

81 - blocks heuristics - promptness lemmas and postponability lemmas

85 - meeting with DARPA here, Bob Simpson and Alan Sears

87 - Grosof seminar on Hanks and McDermott

91 - pointwise circumscription

93 - abnormality

95 - Histories and situation calculus, history

97 - abnormality in situation calculus

99 - start on article on mathematical logic and ai

101 - improving instructinal tv

103 - ucla, standard action structure obtained nonmonotonically from axioms
of situation calculus

105 - cosmos, notes on lecture or book by she? Probably on the
notes for VTSS lecture. a loser

109 - Waldinger on blocks world

111 - Task ordering

113 - The solution to a problem should be an add-on to its statement.

115 - proposal for workshop on foundations of AI

117 - reification, "the bacteria in the container"

119 - The Mind's new science by Howard Gardner, cont. p 133

121 - notes for common sense lecture of some kind

123 - abnormality and contexts

126 - Las Cruces workshop on local visions of Mary - humor

129 - AI as a science is the study of systems that achieve goals
in the common sense world.  As in other sciences, there are hypotheses
that can be objectively tested by experiment and by theoretical
reasoning from premisses.

133 - more notes on Gardner

137 - Lashleyan experiment

139 - mcc lecture on contexts

141 - complexity of most concise boolean expression may be natural concept

143 - relations in common sense of various arities

145 - unsolved common sense formalization problems

147 - a bit more Gardner

149 - deal broker proposer as expert system.  It reads bboards.

151 - The easy case of reaching agreement among competing experts

155 - Jerry Hobbs lecture

157 - Asilomar knowledge conference

159 - notes for lecture on knowledge

163 - abstracts of papers I wish were presented

167 - mental actions

169 - logical omniscience

171 - postdoctoral fellowships in AI

177 - formalized contexts

179 - avoiding Montague paradoxes

181 - common sense reasoning about knowledge - air travel

183 - supernatural deduction and contexts -worth putting in file


1986 Mar 22 - 1986 Aug 14

0 - The seven bad ideas of computing

1 Idea on formalizing knowledge to avoid the paradoxes - punctured by VAL.

3 Can qlisp make synchronization invisible?

5 More of idea on formalizing knowledge

7 re Winograd and Flores

9 remark on contexts

10 expressing Sue Walker Toledo's problem as a linear programming problem

11 grumble about programs as theories

13 notes on "but" as circumscription

17 notes for talk on AI ideas at DARPA

19 dialog with SHRDLU for reply to Winograd

21 Searle

23 improv.ess improving humans

27 notes on Kowalski and Sergot "A logic based calculus of events"

33 proposal for fixing KS86 event calculus

41 my try at event calculus

45 applications of circumscription to formalizing contexts

47 normality logic - apr 16

57 Notes on context

61 give example of belief preference depending on state of mind

62 suggestions for foundation conference

63 ref to paper on verifying prolog progs

65 causality

67 papert talk

69 Batali talk

73 Konolige on default theories and auto-epistemic logic

75 notes for review of Roszak

77 notes form Citizen's Advisory Council on Space - Pournelle

79 privatizing the Global Positioning System GPS

85 notes for DARPA talk

91 Inference SAB May 16
	Everett Lyons replacing Win Royce

95 suggested Lisp problem about probabilities

97 VTSS Ireland

99 Resourceful Earth by Julian Simon and Herman Kahn

101 Tragedy of Fred
	prove it's not doable with a simple abnormality theory
	minimize unknown events

105 try at sonnet

107 two kinds of abnormality

109 notes on baby Timothy

113 minimizing features rather than abnormality

115 databases and causality

119 strong reflection principle

121 june 22 taking certain sentences into account

123 anomalies(I,db)

125 June 27 MAD meeting

127 minimize unsupported abnormalities
	(see Apt, Blair Walker)

129 McDermott's lament

135 what to minimize

139 When the models obtained from making a certain class of substitutions
are all extendable.

141 notes for discussion

143 discussion with VAL about McDermott's lament

147 reservation for two at Timberline Lodge

149 harangued MRG about contexts

151 july 2 Blocks world planning ideas

153 hill climbing in situation calculus

155 pointwise description of birds

157 pointwise description of Fred

159 STRIPS strategy

165 extendability again

167 pedigreed logic

169 endings to Sive (a play we saw at the Abbey Theater)

185 SE2 meeting on Chernobyl
 cherno[e86,jmc]

193 Stallman re ebos

195 formalizaton of prediction of results of events

197 How much can technology do?

199 Generalities about persistence and stopping
1986 Aug 14 - 1986 Dec 4

3 - Tragedy of Fred McDermott

5 - Nothing unsupported is true, etc.

7 - 21 - Hanks and McDermott
incorporating model theory in the logic

23 - note on takeuchi function

27 - draft letter to NYT

29-35 - Chernobyl meeting cherno.2[e86,jmc]

37 - Start of a letter to Todorovich

39 - more on Chernobyl meeting

40-41 events, processes, conditions, states, fluents, situations
cont. p.67

43-55 Draft letter to Dana Scott about Moscow meeting

57 - Moscow meeting

61 - draft abstract for Moscow meeting

65 - Letter to Haley (Sununu's press secretary) not sent.

67 - continuation on events, processes, etc.

71 - notes for meeting with Iris Brest about Mosher

73 - Causes, etc.

77 - Fred with event types

79 - blood pressures

81 - Proposal that death penalty opponents support condemned men indefintely.

85 - meeting with Genesereth group

87 - Notes for talk with Mosher

89 - relation between internal state and uttering an English sentence

91 - Thought about weizenbaum, and fiddle with puzzle problem

93 - contexts

95 Sept 29 Inference SAB

97 csd meeting, theory billet

99 - The reasoning that an idea is good is non-monotonic.

101 - prolog exercise from STerling and Shapiro

103 - Halmos seminar

109 - VAL lecture

111 - Halmos problem, puzzling out Gosper's idea

113 - Approximately generic points.  Re ideals.

117 evolution of theories

119 - Halmos seminar

127 - fixing s&s bug

129 - qlisp problem

131 - Halmos seminar

137 - causes and databases

139 - Halmos problem

147 - VAL seminar

149 - discrete causal systems, and causality

151 - The Mosher case as missed opportunity

153 - The assumption that all relevant facts have been mentioned.

155 - Yale shooting

159 - Digital library meeting

161 Notes on Shoham

163 - Halmos

167 - Notes for lecture on contexts

169 - counterfactuals and causality

171 - VAL seminar

173 - generalization of chronologial minimization in terms of mappings.

175 - Letter to Petr Beckmann

183 - ad on Silver Reed Porta Copy portable copier
	6 3/8 x 4  800 252-7760 in CA., 3" wide copy

185 - mental situations

187 - Elephant with reification of states permits a fully compact
	logical expansion of programs.

188 - idea about catching women spies

189 - Franklin's whale

191 - what orderings can be minimized by circumscription?

193 - Halmos

1986 Dec 4 - 1987 May 6

3 Elephant

5 the pressure depends on the volume

7 Fran Allen lecture

9 Fred

11 Approximate theories

13 AI as computer science.  AI vs. optimization

21 Fred

23 Logic and AI

35 Agreements with the Soviet Union

39 AI and logic

45 postponability, mental states

47 suggestions for industrial lectures

49 McDermott on Berliner position

53-57 notes for DARPA proposal

59 VAL lecture

61 discussion with Buckley about proposal

63 crisis in arms control

65 productivity seminar

67-75 AI and logic

77 context

79-81 Telerobotics, TTAC

83 ships, obstacles

85 queue based computing

87 telerobotics, ttac

91 Konolige lecture

93-95 NTT lisp machine, Hibino lecture

97 More Konolige

99 Did Wellington hear - for exam

103 stratified circumscription

105-120 Dartmouth conference dartmo[s87,jmc]

123 finitization

125 Carolyn Kyoto lecture

127 absolute proof

129 match using catch

131 ekl and continuity

133-137 letter to Eichii Goto

139 briefcase problem

141-145 mental hill climbing

147 dogs and trash cans problem

149 cbcl for icot

151 icot lecture

153 stratified circumscription

155 common sense knowledge

157 sendai lecture

159-161 quantum theory of light

163 frame conference, Kansas

165-169 normality logic

171 logic vs. simulation

173 normality logic

175-177 frame conference

179 normality

181 long beach lecture

183 math note

185 mad april 25

187 notes to do

189 Staar conference on computers in USSR

191 philosophical pretensions of AI

193 stratified circumscription

195 briefcase problem

197 Hodges address

198 list of promises